Intermediate logic

Results: 35



#Item
21Mathematics / Philosophical logic / Modal logic / Non-classical logic / Sequent / Kripke semantics / Lambda calculus / Natural deduction / Logic / Mathematical logic / Proof theory

On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics

Add to Reading List

Source URL: research-repository.st-andrews.ac.uk

Language: English - Date: 2015-02-02 11:56:50
22

Project STAR Logic Model Worksheet NEED INPUTS ACTIVITIES OUTPUTS INTERMEDIATE OUTCOMES END OUTCOMES

Add to Reading List

Source URL: tn.gov

- Date: 2014-08-20 10:00:58
    23Evaluation / Logic / Value / Evaluation methods / Science / Logic model

    Evaluating the Unobservable: The Power of Logic Models and Intermediate Outcomes Susan E. Cozzens, Director Technology Policy and Assessment Center (TPAC) Georgia Institute of Technology

    Add to Reading List

    Source URL: osp.od.nih.gov

    Language: English - Date: 2013-12-24 13:14:11
    24Business / Logic model / Mind / Evaluation / Planning / Program management / Educational aims and objectives / Outcome mapping / Project management / Management / Evaluation methods

    Logic Model Planning Template Program Activities Short-term and Intermediate Outcome Objectives

    Add to Reading List

    Source URL: unitedwaylm.ca

    Language: English - Date: 2014-01-09 06:10:12
    25

    Project STAR Logic Model Worksheet NEED INPUTS ACTIVITIES OUTPUTS INTERMEDIATE OUTCOMES END OUTCOMES

    Add to Reading List

    Source URL: www.tn.gov

    - Date: 2014-08-20 10:00:58
      26

      Logic Framework for the HIA of legislation providing limited injury liability to promote physical activity at schools and workplaces Policy Intermediate Outcomes

      Add to Reading List

      Source URL: www.ph.ucla.edu

      - Date: 2004-12-30 00:51:02
        27

        Logic Framework for the HIA of the 2002 Federal Farm Bill: Agricultural Subsidies Policy Intermediate Outcomes

        Add to Reading List

        Source URL: www.ph.ucla.edu

        - Date: 2004-12-30 00:51:34
          28

          Logic Framework for Walk/Bike to School HIA Policy Components Proximal Impacts Intermediate Outcomes

          Add to Reading List

          Source URL: www.ph.ucla.edu

          - Date: 2004-12-30 00:50:56
            29Logic model / Capacity building / Best practice / Service / Economics / The Council on Quality and Leadership / Evaluation methods / Business / Evaluation

            Sample Logic Model INPUTS OR RESOURCES ACTIVITIES OUTPUTS SHORT-TERM OUTCOMES INTERMEDIATE OUTCOMES LONG-TERM OUTCOMES Resources available to the program that allow and support service delivery, including money, staff, v

            Add to Reading List

            Source URL: www.acf.hhs.gov

            Language: English - Date: 2012-11-29 11:44:38
            30Logic model / Capacity building / Best practice / Service / Economics / The Council on Quality and Leadership / Evaluation methods / Business / Evaluation

            Sample Logic Model INPUTS OR RESOURCES ACTIVITIES OUTPUTS SHORT-TERM OUTCOMES INTERMEDIATE OUTCOMES LONG-TERM OUTCOMES Resources available to the program that allow and support service delivery, including money, staff, v

            Add to Reading List

            Source URL: www.acf.hhs.gov

            Language: English - Date: 2012-11-29 11:44:38
            UPDATE